1 computer-programmer-"https:"-"CNR" "https:" "https:" "https:" "https:" Postdoctoral positions at Institute of Cellular Biology and Pathology "Nicolae Simionescu" in France

Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants

Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 3 days ago

Framework Programme? Horizon Europe - ERC Reference Number 2025-09693 Is the Job related to staff position within a Research Infrastructure? No Offer Description The job is within the framework of the Malinca